- недоказуемое высказывание
- unprovable statement
Русско-английский словарь по радиоэлектронике. — Руссо. 2005.
Русско-английский словарь по радиоэлектронике. — Руссо. 2005.
непротиворечивость — свойство предложений некоторой теории (в случае аксиоматической теории системы ее аксиом), заключающееся в невыводимости из них противоречия. Если отрицание какого то предложения может быть доказано в теории, то о самом предложении говорится, что … Словарь терминов логики